Section: Partnerships and Cooperations
International Initiatives
Inria International Labs
H. Garavel is a member of IFIP (International Federation for Information Processing) Technical Committee 1 (Foundations of Computer Science) Working Group 1.8 on Concurrency Theory chaired successively by Luca Aceto and Jos Baeten.
Other International Collaborations
In 2014, we had scientific relations with several universities abroad, including: